自由后坐式自动武器运动系统优化设计研究

本文介绍自由抢机式自动武器运动系统有关结构参量的一种优化设计方法。优化的目标函数为自动机后坐到位速度和弹丸的初速。优化的结构参数有自动机的质量,弹簧的抗力等。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况     

《线性代数》教学与观念更新

《线性代数》是理、工、农、经类各专业的一门重要的基础课,对后续课程起到工具性、奠基性的作用。《线性代数》中许多概念抽象、层次甚高,学生普遍感到难学,教师在教学中要注意指导和帮助学生更新观念,使其加深对抽象概念的理解,以便较好地掌握基础的代数思想和代数方法。     

警卫部队基层建设研究

部队建设的基础在基层，基层建设是警卫部队建设与发展的重要内容，也是警卫事业全面发展的重要保证。在新世纪新阶段，只有以科学发展观为指导，把科学发展观贯穿于警卫部队基层建设的全过程，落实到各项具体工作中，才能使部队建设在安全、有序的环境下得以全面、持续、和谐、健康地发展，才能真正提升部队战斗力，履行好警卫部队肩负的历史使命。     

武警院校干部体能评价研究

通过对4所武警院校共计800名教员和机关干部体能状况进行调查，研究了不同体型干部的体能现状，进行了相应的体能评定，并制订了体能综合评价模型。本研究建议：加强武警院校干部的耐力素质训练，以提高干部体能水平，增强体能，改进生活方式，提高武警院校干部的教研能力。     

喀什地区女性受教育情况实证调查及对策研究

本文研究和探讨了民族地区女性受教育的现状及对策，以期促进民族地区人口素质的提高，和谐新疆的构建和全面小康社会的实现。     

空空导弹越肩发射初制导转弯控制与仿真

针对空空导弹越肩发射初制导俯仰平面180°转弯,提出了一种基于最优控制理论的最优转弯方法,该方法是确定一个最佳推力方向角,使转弯完成时导弹的末端速度最大。建立了简化的用于姿态控制的姿态动力学模型,采用反作用喷气控制系统(RCS)设计了导弹的姿态控制律。对空空导弹180°转弯的飞行过程进行了仿真并给出分析结果。     

开展新课程改革 培养语文创新人才

课程改革是我国中小学教育改革的一个切入点，也是我国广大教育工作者普遍关心的议题，实施新课程改革，将会逐步改变我国应试教育的模式。本文从新课改意义、必要性以及语文教学中新课改的具体实施进行了分析，为做好新课程改革做些有益的尝试。